One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...) of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

The paper argues that unlike Ramsey, Frege and Russell lacked the idea of an arbitrary function and this had important consequences for their foundational programs.

The article presents Erik Stenius' conception of logical constants and compares it with the standard approach.

The present volume collects presented at a symposium on The History of Logic held in Helsinki in June 11–13, 2000 hosted by the University of Helsinki, Finland. They bear on issues in the history of logic and foundations of mathematics and are contributions by some of the most renown scholars in the field.

Hume and Quine argue that human beings do not have access to general knowledge, that is, to general truths . The arguments of these two philosophers are premised on what Jaakko Hintikka has called the atomistic postulate. In the present work, it is shown that Hume and Quine in fact sanction an extreme version of this postulate, according to which even items of particular knowledge are not directly accessible in so far as they are relational. For according to (...) their fully realized systems, human beings do not initially perceive any relations, or similar epistemological elements that can associate or combine terms on which a relational or general knowledge claim may be based. Nor, likewise, do human beings perceive the relations or the associations themselves as separate entities. ;In Chapters 1 and 2, respectively, it is shown precisely why Hume and Quine deny that human beings initially perceive either such associative elements or associations in general. Concomitantly, it is made clear why Hume's and Quine's respective epistemologies preclude human beings from initially apprehending not only general knowledge, but particular relational knowledge as well. But this is not to say that Hume and Quine do not think we can eventually acquire such associative elements and correspondingly, knowledge. Rather, Hume and Quine do provide an account of knowledge, but one that holds all relational and connective elements to be constructed by the human mind. In Hume's case, they are constructed by the imagination. In Quine's case, we are never told quite how this construction occurs, although the evidence suggests that Quine implicitly relies on a faculty similar to Hume's imagination. ;In the final chapter of this thesis, it is argued that both Hume and Quine must be read as philosophers who justify knowledge by reducing its possibility to a psychological faculty of construction, as well as to a few concepts of intuitively grasped relations. By way of conclusion, it is shown that this makes Quine's naturalism the psychological heir to Carnap's Aufbau. (shrink)

Hintikka considers that the “Transcendental Deduction” includes finding the role that concepts in the effort is meant by human activities of acquiring knowledge; and it affirms that the principles governing human activities of knowledge can be objective rules that can become transcendental conditions of experience and no conditions contingent product of nature of human agents involved in the know. In his opinion, intuition as it is used by Kant not be understood in the traditional way, ie as producer of (...) mental images, but rather as that which the mind represents an individual. To support this interpretation refers to the lessons of Kant´s Logics, to individuality space time and the thesis, submitted the winning essay in 1764, characterizing the mathematical method by the use of particular representatives of general concepts. Thus, his exegesis considers the Kantian conceptions of the “Doctrine of Method” not later conceptions, as traditionally interpreted, but prior conceptions to the processing of “Transcendental Aesthetic”. This article reconstructs some of their arguments that eventually will equal the Kantian intuition with the Euclidean ecthesis. (shrink)

Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more (...) inter-related. My proposal is that this would demand an innovative game-theoretical semantic approach to paraconsistentism, but also that the syntax of the paraconsistent “Logics of Formal Inconsistency” can model the internal logic of Socratic elenchi. I aim to discuss these, and other points posed by Hintikka, as challenges and opportunities for paraconsistentism, paraconsistent logics and IF logics, as well as to raise some criticisms on Hintikka’s view about paraconsistency. (shrink)

L’article qui suit a pour but de présenter un des aspects centraux de la contribution philosophique de Jaakko Hintikka : l’épistémologie formelle. Le thème choisi, le Paradoxe de Moore, permettra d’illustrer le mot d’ordre de la philosophie formelle, celui d’utiliser des outils logiques en vue de la clarification de problèmes philosophiques. Il s’agit également de mettre en évidence la nature pragmatique du discours épistémique, qui transparaît dans les résultats sémantiques de Hintikka et parle en faveur de la (...) logique illocutoire. (shrink)

The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief. I propose to take a different look at this philosophical logic and to consider it from the opposite point of view of the philosophy of logic. At first, two theories of meaning are described and associated with two competing theories of linguistic competence. In (...) a second step, I draw the conclusion that Hintikka's epistemic logic constitutes a sort of internalisation of meaning, by the introduction of epistemic modal operators into an object language. In this respect, to view meaning as the result of a linguistic competence makes epistemic logic nothing less than a logic of unified meaning and understanding. (shrink)

On Jaakko Hintikka’s understanding of Aristotle’s modal thought, Aristotle is committed to a version of the Principle of Plenitude, which is the thesis that no genuine possibility will go unactualized in an infinity of time. If in fact Aristotle endorses the Principle of Plenitude, everything becomes necessary. Despite the strong evidence that Aristotle indeed accepts that Principle of Plenitude, there are key texts in which Aristotle seems to contradict it. On Hintikka’s final word on the matter, Aristotle (...) either endorses the Principle of Plenitude or Aristotle is simply inconsistent. Without challenging Hintikka’s interpretation of the relevant texts, I show how Aristotle may accept a form of the Principle of Plenitude that allows for genuine unactualized possibilities in the world. What allows me to reconcile the seemingly inconsistent data is to show how Aristotle is only committed to a de re version of the Principle of Plenitude. After I lay out my proposal, I show how it opens up new ways in which we might understand Aristotle’s attempt to reject fatalism in his De interpretatione 9. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds (...) on Hintikka’s modal approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

This is a contribution to the idea that some proofs in first-order logic are synthetic. Syntheticity is understood here in its classical geometrical sense. Starting from Jaakko Hintikka’s original idea and Allen Hazen’s insights, this paper develops a method to define the ‘graphical form’ of formulae in monadic and dyadic fraction of first-order logic. Then a synthetic inferential step in Natural Deduction is defined. A proof is defined as synthetic if it includes at least one synthetic inferential step. (...) Finally, it will be shown that the proposed definition is not sensitive to different ways of driving the same conclusion from the same assumptions. (shrink)

‘Performative’ transcendental arguments exploit the status of a subcategory of self-falsifying propositions in showing that some form of skepticism is unsustainable. The aim of this paper is to examine the relationship between performatively inconsistent propositions and transcendental arguments, and then to compare performative transcendental arguments to modest transcendental arguments that seek only to establish the indispensability of some belief or conceptual framework. Reconceptualizing transcendental arguments as performative helps focus the intended dilemma for the skeptic: performative transcendental arguments directly confront the (...) skeptic with the choice of abandoning either skepticism or some other deep theoretical commitment. Many philosophers, from Aristotle and St. Thomas Aquinas to Jaakko Hintikka, C.I. Lewis, and Bernard Lonergan, have claimed that some skeptical propositions regarding knowledge, reason, and/or morality can be shown to be self-defeating; that is to say, they have claimed that the very upholding of some skeptical position is in some way incompatible with the position being upheld, or with the implied, broader dialectical position of the skeptic in question. Statements or propositions alleged to have this characteristic also sometimes are called ‘self-falsifying,’ ‘self-refuting,’ ‘self-stultifying,’ ‘self-destructive,’ or ‘pointless.’ However, proponents of the strategy of showing skepticism to be self-defeating have not in general adequately distinguished between two types of self-defeating proposition: self-falsifying and self-stultifying. In the first part of this paper I distinguish between self-falsifying and self-stultifying propositions, and introduce the notion of performative self-falsification. In the second part I discuss classical transcendental arguments, ‘modest’ transcendental arguments, and objections to each. In the third part I introduce two types of transcendental argument—each labeled “performative”—corresponding to two types of performatively self-falsifying proposition, and I compare them to modest transcendental arguments. (shrink)

In the framework of Husserl's phenomenology, intentionality is regarded as the main feature of every act of consciousness. Our consciousness is directed towards objects immanent in it, however in a variety of epistemological functions and operations, such as sensory perception, judgment, cognition, volition, imagination, etc. Husserl uses the technical terms noesis and noema to designate the intentional acts of consciousness and their outcome in the constitution of objects in consciousness. At the same time, the persistence of a hyletic data is (...) emphasized, which as pure sense data escapes the phenomenological reduction and remains as such a residuum in the consciousness. In my lecture I try to work out the clear implication of epistemological referentiality in the phenomenological basic notion of intentionality. Among other things, I rely on the conceptual history of intentionality, i. e. on the earlier theories of intentionality in the Middle Ages and the philosophical revival of this notion in the late 19th century by Franz Brentano. Referentiality defines itself as the referential access of consciousness to objects of sensory perception, judgment, cognition, etc., in which the objects form the final referents. In the phenomenological framework, intentionality refers to the intentional access of consciousness to objects irrespective of their consciousness-immanence or -transcendence. The analogy between intentionality and referentiality is therefore based on the act-character as well as the directionality of consciousness which suggests the characteristic attempt of consciousness to gain intentional-referential access to objects. The directionality of consciousness in every intentional act ultimately marks and confirms the referentiality i. e the referential access of consciousness to the object. Intentionality as intentional-referential access to objects becomes a problem, when the access of consciousness to the object proves to be inadequate. I try to show how this problem of referentiality inevitably arises in Husserl's phenomenology of inner time-consciousness, especially in his conception of a time-object (Zeitobjekt). The consciousness-immanence of a time-object, such as a melody, points to a problem, that the intertwining of the temporality of consciousness and that of time-object necessarily results in various aporias of time, as Paul Ricœur observes and discusses in detail in his seminal work Temps et Récit. Moreover, the residual persistence of hyletic data, that survives all phenomenological reductions, would establish an actual interface between consciousness and reality, as Jaakko Hintikka emphasizes in his essay The phenomenological dimension. The aporicity of time refers to the autonomy of time and, thereby, to the autonomy of time-object in its intentional in-existence in consciousness. The hyletic data as interface between consciousness and reality points to the necessary referential extension of consciousness to objects that are otherwise excluded in the context of phenomenology. From these and similar premises, I would like to demonstrate how the problem of referentiality in Husserl's philosophy of time inevitably presupposes a reversion of referentiality within the prevailing noesis-noema structure that underlies the consciousness-immanence of objects. (shrink)

Although epistemic possibility figures in several debates, those debates have had relatively little contact with one another. G. E. Moore focused squarely upon analyzing epistemic uses of the phrase, ‘It’s possible that p’, and in doing so he made two fundamental assumptions. First, he assumed that epistemic possibility statements always express the epistemic position of a community, as opposed to that of an individual speaker. Second, he assumed that all epistemic uses of ‘It’s possible that p’ are analyzable in terms (...) of knowledge, not belief. A number of later theorists, including Keith DeRose, provide alternative accounts of epistemic possibility, while retaining Moore’s two assumptions. Neither assumption has been explicitly challenged, but Jaakko Hintikka’s analysis provides a basis for doing so. Drawing upon Hintikka’s analysis, I argue that some epistemic possibility statements express only the speaker’s individual epistemic state, and that contra DeRose, they are not degenerate community statements but a class in their own right. I further argue that some linguistic contexts are belief- rather than knowledge-based, and in such contexts, what is possible for a speaker depends not upon what she knows, but upon what she believes. (shrink)

In this study I discuss G. W. Leibniz's (1646-1716) views on rational decision-making from the standpoint of both God and man. The Divine decision takes place within creation, as God freely chooses the best from an infinite number of possible worlds. While God's choice is based on absolutely certain knowledge, human decisions on practical matters are mostly based on uncertain knowledge. However, in many respects they could be regarded as analogous in more complicated situations. In addition to giving an overview (...) of the divine decision-making and discussing critically the criteria God favours in his choice, I provide an account of Leibniz's views on human deliberation, which includes some new ideas. One of these concerns is the importance of estimating probabilities – in making decisions one estimates both the goodness of the act itself and its consequences as far as the desired good is concerned. Another idea is related to the plurality of goods in complicated decisions and the competition this may provoke. Thirdly, heuristic models are used to sketch situations under deliberation in order to help in making the decision. Combining the views of Marcelo Dascal, Jaakko Hintikka and Simo Knuuttila, I argue that Leibniz applied two kinds of models of rational decision-making to practical controversies, often without explicating the details. The more simple, traditional pair of scales model is best suited to cases in which one has to decide for or against some option, or to distribute goods among parties and strive for a compromise. What may be of more help in more complicated deliberations is the novel vectorial model, which is an instance of the general mathematical doctrine of the calculus of variations. To illustrate this distinction, I discuss some cases in which he apparently applied these models in different kinds of situation. These examples support the view that the models had a systematic value in his theory of practical rationality. (shrink)

Leibniz frequently argued that reasons are to be weighed against each other as in a pair of scales, as Professor Marcelo Dascal has shown in his article "The Balance of Reason." In this kind of weighing it is not necessary to reach demonstrative certainty – one need only judge whether the reasons weigh more on behalf of one or the other option However, a different kind of account about rational decision-making can be found in some of Leibniz's writings. In his (...) article "Was Leibniz's Deity an Akrates?" Professor Jaakko Hintikka has argued that Leibniz developed a new vectorial model for rational decisions which is better suited to complicated decisions, where values are complementary to each other. This model, related closely to his work in metaphysics and the philosophy of mind, is a heuristic device which helps in finding rational combinations - and in an ideal case an optimum - between plural inclinations to the good. I shall argue that Leibniz applies more or less implicitly both of these models in his practical rationality. In simple situations he applied the pair of scales model and in more complicated situations he applied the vectorial model. (shrink)

Cet article a pour but d’étudier les perspectives que l’approche performative de la preuve fournit, afin de répondre à deux questions classiques liées à l’interprétation de l’argument cartésien : Cogito ergo sum. La première question est la suivante : quel type de contrainte logique ou non-logique ergo exprime-t-il dans la formulation de cet argument? La seconde question est celle-ci : quel type d’existence est manifesté par l’argument Cogito, ou Cogito ergo quis est ?

The structural theory of metaphor (STM) uses techniques from possible worlds semantics to generate and interpret metaphors. STM is presented in detail in The Logic of Metaphor: Analogous Parts of Possible Worlds (Steinhart, 2001). STM is based on Kittay’s semantic field theory of metaphor (1987) and ultimately on Black’s interactionist theory (1962, 1979). STM uses an intensional calculus to specify truth-conditions for many grammatical forms of metaphor. The truth-conditional analysis in STM is inspired in part by Miller (1979) and (...) class='Hi'>Hintikka & Sandu (1994). STM is by no means a toy theory. It has been successfully tested on dozens of large texts taken from real authors. Its methods can be applied in very large linguistic databases like WordNet or MindNet. (shrink)

The main question of metasemantics, or foundational semantics, is why an expression token has the meaning (semantic value) that it in fact has. In his reading of Ludwig Wittgenstein’s later work, Saul Kripke presented a skeptical challenge that threatened to make the foundational question unanswerable. My first contention in this paper is that the skeptical challenge indeed poses an insoluble paradox, but only for a certain kind of metasemantic theory, against which the challenge effectively works as a reductio ad absurdum (...) argument. My second contention is that as a result of rejecting the theory which entails a paradoxical outcome, we will see that the foundational question essentially involves a temporal dimension. After arguing that the skeptical challenge gives us a strong reason to adopt a historical view of meaning, I shall further argue against certain authors who claim that meanings not only have histories but futures as well, or that the meaning of a word may change retroactively in time as a consequence of counterfactual change in its future use. The major aim of the paper is thus to bring together the arguably interrelated debates about the skeptical challenge and temporal externalism in philosophy of language. (shrink)

According to the safety condition, a subject knows that p only if she would believe that p only if p was true. The safety condition has been a very popular necessary condition for knowledge of late. However, it is well documented that the safety condition is trivially satisfied in cases where the subject believes in a necessary truth. This is for the simple reason that a necessary truth is true in all possible worlds, and therefore it is true in all (...) possible worlds where it is believed. But clearly, all beliefs concerning necessary truths do not amount to knowledge. The safety theorists have attempted to deal with the problem caused by necessary truths by restricting the safety condition to purely contingent truths and by globalizing the safety condition to a set of propositions. Both of these solutions are problematic. The principal aim of this paper is to develop a version of the safety condition that is able to deal with cases featuring necessary truths. (shrink)

According to the modal account of luck it is a matter of luck that p if p is true at the actual world, but false in a wide‐range of nearby worlds. According to the modal account of risk, it is risky that p if p is true at some close world. I argue that the modal accounts of luck and risk do not mesh well together. The views entail that p can be both maximally risky and maximally lucky, but there (...) is nothing which is both maximally lucky and maximally risky. I offer a novel theory of risk that fits together with the modal account of luck and demonstrate that it is both extensionally and formally superior to extant proposals. (shrink)

Timothy Williamson famously argued that assertion is constituted either by the knowledge rule or some similar epistemic rule. If true, the proposal has important implications for criticism of assertions. If assertions are analogical to other rule-constituted kinds like games, we can criticize assertions either on external or internal grounds, depending on whether the criticism draws from the necessary norms of assertion or some contingent ones. More recently, authors like Goldberg and MacFarlane have argued against other theories of assertion on the (...) grounds that they cannot explain the possibility of internal criticism for assertions. This paper raises methodological problems with these arguments. The main idea is to show that alternative, non-normative accounts of assertion can also explain the apparent differences in grounds of criticism without assuming that assertion is necessarily governed by some epistemic norm. (shrink)

As the title suggests, this paper is something of a leftover – or perhaps a new branch – to my "Meaning in Time: on temporal externalism and Kripkenstein’s skeptical challenge". In that work I essayed to portray my understanding of the sceptical challenge uncovered by Saul Kripke’s reading of Wittgenstein’s later works in a nutshell as to its nature and resolution. Here, my task is to dig a little deeper into the key phrase of the earlier paper, namely the claim (...) that meanings, facts grounding meaning facts, and ascriptions of meaning have an important historical dimension to them. In particular, I explore the ideas that (i) the problem of finitude is fundamentally a logical and not a metaphysical problem and (ii) Devitt's development of Kripke's causal-historical theory of reference implies a natural explanation for how at least the meanings of some terms can have a historical dimension. (shrink)

According to the causal-historical theory of reference, natural kind terms refer in virtue of complicated causal relations the speakers have to their environment. A common objection to the theory is that purely causal relations are insufficient to fix reference in a determinate fashion. The so-called hybrid view holds that what is also needed for successful fixing are true descriptions associated in the mind of the speaker with the referent. The main claim of this paper is that the objection fails: reference (...) fixing of natural kind terms can be purely causal. The main argument draws inspiration from recent theoretical advances made in metaphysics of kinds by Marion Godman, Antonella Mallozzi, and David Papineau. The main claim is that their notion of super-explanatory properties may explain how reference of many kind terms can be fixed purely causally. (shrink)

According to all varieties of virtue reliabilism knowledge is always gained through the exercise of epistemic competences. These competences can be conceived as competences to form true beliefs, or as competences to know. I will present a short but decisive argument against the idea that knowledge is always gained through the exercise of competences to know. The competence to know isn’t necessary for gaining knowledge.

In order to deal with the problem caused by environmental luck some proponents of robust virtue epistemology have attempted to argue that in virtue of satisfying the ability condition one will satisfy the safety condition. Call this idea the entailment thesis. In this paper it will be argued that the arguments that have been laid down for the entailment thesis entail a wrong kind of safety condition, one that we do not have in mind when we require our beliefs to (...) be safe from error in order for them to be knowledge. (shrink)

This paper offers a new account of the epistemic significance of disagreement which is grounded in two assumptions; that knowledge is the norm of belief and, that the safety condition is a necessary condition for knowledge. These assumptions motivate a modal definition of epistemic peerhood, which is much easier to operate on than the more traditional definitions of epistemic peerhood. The modal account of the epistemic significance of disagreement yields plausible results regarding cases of disagreement. Furthermore, it is able to (...) tap into the intuitions that have motivated the conformist and the nonconformist positions and it locates a fruitful middle-ground between these two conflicting positions. It will be shown that the conformist is correct in that cases of real peer disagreement force us to suspend our judgment. The reason for this is that in cases of real peer disagreement our beliefs fail to be safe. The nonconformist, on the other hand, is right in that disagreement in itself does not have any epistemic power. It is only by the grace of nature that we gain knowledge. The fact that someone disagrees with you does not mean that you do not have knowledge. (shrink)

Over the last two centuries, the relationship between philosophy and science has completely broken down, so the question we are confronted with is: How can we develop a new philosophy, which will influence science decisively? The physicists of the last century rejected their contemporary philosophy. They considered that “philosophy today is dead” (Hawking and Mlodinow 2010). However, we believe that the great scientific problems are always philosophical, and only philosophical problems. Therefore, these problems can be solved only by philosophers and (...) scientists who operate at the greatest level of thinking: that of the “paradigm of thinking”. In fact, these great scientific problems can usually be solved by changing the “paradigm of thinking” for scientists. This book furnished more applications of the “epistemologically different worlds” (that replaced the “world”/”universe” – in their previous books (2008, 2010, 2011, etc.), the authors indicated that the notion of the world/universe is wrong). Following Aristotle’s “Prime Mover” (or the “Unmoved Mover”), we stop the regress ad infinitum by discovering the first EW, the EW0 (the Hypernothing). Even if one EW does not exist for any EDW, the Hypernothing was the first EW and all other EDWs correspond to the EW0. Chapter 2 is about the “Hypernothing”. The other chapters continue our works of applying the EDWs to different concepts/areas of Physics: quantum mechanics, elementary particles, thermodynamics (with its main notion, “entropy”), etc. In the last chapter, knowing that Einstein’s special and general theory of relativity are very correct (but in a book 2016 we showed that “spacetime” cannot ontologically exist), we re-write both theories without “spacetime”. Content, Introduction and Chapter 1, FREE at https://www.amazon.com/s/ref=nb_sb_noss_1?url=search-alias%3Daps&field-keywords=gabriel+vacariu&rh=i%3Aaps%2Ck%3Agabriel+vacariu . (shrink)

Gabriel Vacariu (November 2018) UNBELIEVABLE similarities between Ferraris’s ideas (2012) and my ideas (2002-2008).

It is well-known the UNBELIEVABLE similarities between markus gabriel’s ideas from his book 2013 and my ideas (2002, 2005, 2008, etc.) (see my article or my manuscript). Not amazing, markus gabriel (mg) publishes (2017) more UNBELIEVABLE similar ideas to my ideas (2002, 2005, 2008)! So, let me investigate mg’s ideas from his last book 2017: -/- Markus Gabriel (2017) I am not a brain. Philosophy of Mind for the Twenty-First Century, Polity Press -/- I draw the attention (...) that markus gabriel has never written an article on the Philosophy of Mind! However, we see now even in the title of his book that he talks about the Philosophy of mind for 21th Century! (shrink)

The notion of credit plays a central role in virtue epistemology and in the literature on moral worth. While virtue epistemologists and ethicists have devoted a significant amount of work to providing an account of creditable success, a unified theory of credit applicable to both epistemology and ethics, as well as a discussion of the general form it should take, are largely missing from the literature. Our goal is to lay out a theory of credit that seems to underlie much (...) of the discussion in virtue epistemology, which we dub the Cake Theory. We argue that given the goals that virtue epistemologists and ethicists who discuss moral worth have, this theory is problematic, for it makes credit depend on the wrong facts. (shrink)

A novel theory of comparative risk is developed and defended. Extant theories are criticized for failing the tests of extensional and formal adequacy. A unified diagnosis is proposed: extant theories consider risk to be a univariable function, but risk is a multivariate function. According to the theory proposed, which we call the unified theory of risk, the riskiness of a proposition is a function of both the proportion and the modal closeness of the possible worlds at which the proposition holds. (...) It is argued the theory passes the tests of extensional and formal adequacy. (shrink)

Since 2015, incredible many have published UNBELIEVABLE similar ideas to my ideas published between 2002-2008!!! There were others who published UNBELIEVABLE similar ideas to my ideas even earlier (since 2008, in general), but the number has an incredible jump after 2014. Why? In 2014, I have sent emails to thousands of people (many countries, many domains (Physics, Philosophy, and Cognitive Science)) regarding the UNBELIEVABLE similarities between my ideas (2002-2008) and Markus Gabriel’s ideas (his book from 2013). Is it this (...) a coincidence? I don’t believe so… Why so many people from so many countries from so many domains on so many topics have published UNBELIEVALBE similar ideas to my ideas (2002-2008 and later)? Because I have changed EVERYTHING! (shrink)

According to the extended mind thesis, cognitive processes are not confined to the nervous system but can extend beyond skin and skull to notebooks, iPhones, computers and such. The extended mind thesis is a metaphysical thesis about the material basis of our cognition. As such, whether the thesis is true can have implications for epistemological issues. Carter has recently argued that safety-based theories of knowledge are in tension with the extended mind hypothesis, since the safety condition implies that there is (...) an epistemic difference between subjects who form their beliefs via their biological capacities and between subjects who have extended their cognition. Kelp, on the other hand, has argued that a safety-based theory of knowledge can be correct only if the extended mind thesis is true. While these claims are not logically inconsistent, they do leave the safety theorist in an uncomfortable position. I will argue that safety-based theories of knowledge are not hostage to the truth of the extended mind thesis, and that once the safety condition is properly understood it is not in tension with the extended mind thesis. (shrink)

The aim of this paper is to critically examine the concept of semantic objectivity inherent in Robert Brandom`s works, most importantly Making It Explicit. Concerning Brandom`s theoretical aims, I shall argue that there is some discrepancy between his formal and informal characterisations of the criteria by which his account is to be judged as adequate. After expounding on the discrepancy, I shall propose to reconstruct a mostly implicit line of argument in MIE, highlighted by the more recent developments of Brandom`s (...) work, which I think suffices to smooth it over. (shrink)

When I read this paragraph about her book: -/- In Form, Matter, Substance, Kathrin Koslicki develops a contemporary defence of the Aristotelian doctrine of hylomorphism. According to this approach, objects are compounds of matter (hule) and form (morphe or eidos) and a living organism is not exhausted by the body, cells, organs, tissue, and the like that compose it. Koslicki argues that a hylomorphic analysis of concrete particular objects is well equipped to compete with alternative approaches when measured against a (...) wide range of criteria of success. However, a plausible application of the doctrine of hylomorphism to the special case of concrete particular objects hinges on how hylomorphists conceive of the matter composing a concrete particular object, its form, and the hylomorphic relations which hold between a matter-form compound, its matter and its form. Koslicki offers detailed answers to the questions surrounding this approach to the metaphysics of concrete particular objects. As a result, matter-form compounds emerge as occupying the privileged ontological status traditionally associated with substances, despite their metaphysical complexity, due to their high degree of unity. (shrink)

A friend of my sent me the address where this paper has been posted by Adam Frank. Reading it, I realized that more than 90% of the main ideas of this paper (about the mind-brain problem, quantum mechanics (microparticles-wave relationship, Schrodinger equation, probabilities, “perceiving subject in physics”, the idea about consciousness and Nagel, etc. etc.) are UNBELIEVABLE similar to my ideas from my paper 2005 or my book 2008!!!

Artikkeli käsittelee Saul Kripken Ludwig Wittgensteinin myöhemmistä töistä koostamaa merkityskeptistä haastetta, erityisesti niin kutsuttua äärellisyyden ongelmaa. Pääargumentti on, että skeptisen haasteen pääasiallinen vastaaja, semanttinen dispositionalismi, ei uusimmistakaan yrityksistä huolimatta ole kyennyt ratkaisemaan äärettömyyden ongelmaa. Ratkaistakseen ongelman dispositionalistin tulisi selittää, kuinka on mahdollista, että äärellinen puhuja voisi omata disposition käyttää jotain termiä äärettömässä määrässä tapauksia määrätyllä tavalla. Monet dispositionalistit esittävät, että ratkaisu löytyy niin kutsutuista ceteris paribus -ehdoista, joita vastaan Martin Kusch on argumentoinut. Jatkan Kuschin kritiikkiä ja osoitan ceteris paribus -strategian (...) keskeiset ongelmat, minkä lisäksi vastaan myös kahteen näistä ehdoista riippumattomaan dispositionalistiseen strategiaan. (shrink)

What was Saul Kripke’s personal stance on the sceptical challenge that he famously attributed to Ludwig Wittgenstein? It will be argued that despite his statements to the contrary, we can, in fact, outline at least a rough sketch of Kripke’s own views on the challenge and its aftermath on the basis of the remarks he left in the text. In summary, Kripke (a) rejected the sceptical solution to the challenge and (b) leaned towards a non-sceptical primitivist solution. If this is (...) correct, it follows that there is a way in which Kripke's view makes his causal-historical picture of reference potentially able to solve the sceptical challenge. (shrink)

Many ideas from Georg Nortoff’s works (published one paper in 2010, mainly his book in 2011, other papers in 2012, 2103, 2014, especially those related to Kant’s philosophy and the notion of the “observer”, the mind-brain problem, default mode network, the self, the mental states and their “correspondence” to the brain) are surprisingly very similar to my ideas published in my article from 2002, 2005 and my book from 2008. In two papers from 2002 (also my paper from 2005 and (...) my book 2008), following Kant’s philosophy, I introduced the notion of the “observer” for the mind-brain problem. After 2010 (mainly his book 2011 and other papers after this book), Nortoff also uses Kant’s philosophy (even if his knowledge about Kant’s philosophy is very superficial!) and the notion of the “observer” for the mind-brain problem in a methodology very similar to my methodology. Moreover, instead of EDWs, Nortoff uses a kind of “transdisciplinary” view, quite close to parallelism – the closest approach to my EDWs! In his works until 2014, Northoff’s conclusion within the unicorn world was different than my conclusion. However, in his book 2014 (two volumes) using notions like “correlations” and even “correspondences” many times, his conclusion is very closed to my EDWs! This dramatic change of framework in 3 years is quite unbelievable!!! Incredible many ideas from this book are very similar to my ideas from 2005 and 2008! (shrink)

In this article, I investigate the UNBELIEVABLE similar ideas of Brukner’s article (2015) and my ideas (2002-2008) In this article, I investigate the UNBELIEVABLE similar ideas of Brukner’s article (2015) and my ideas (2002-2008) I emphasize that this paragraph is not from my works!! Instead of “objectivity of the ‘facts of the world’, I used EDWs! All the ideas from this paragraph (and the philosophical ideas referring to QM from this article, can be found in my works 2002-2008!

In this paper, I distinguish three general approaches to public trust in science, which I call the individual approach, the semi-social approach, and the social approach, and critically examine their proposed solutions to what I call the problem of harmful distrust. I argue that, despite their differences, the individual and the semi-social approaches see the solution to the problem of harmful distrust as consisting primarily in trying to persuade individual citizens to trust science and that both approaches face two general (...) problems, which I call the problem of overidealizing science and the problem of overburdening citizens. I then argue that in order to avoid these problems we need to embrace a (thoroughly) social approach to public trust in science, which emphasizes the social dimensions of the reception, transmission, and uptake of scientific knowledge in society and the ways in which social forces influence both positively and negatively the trustworthiness of science. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

A semantics of pictorial representation should provide an account of how pictorial signs are associated with the contents they express. Unlike the familiar semantics of spoken languages, this problem has a distinctively spatial cast for depiction. Pictures themselves are two-dimensional artifacts, and their contents take the form of pictorial spaces, perspectival arrangements of objects and properties in three dimensions. A basic challenge is to explain how pictures are associated with the particular pictorial spaces they express. Inspiration here comes from recent (...) proposals that analyze depiction in terms of geometrical projection. In this essay, I will argue that, for a central class of pictures, the projection-based theory of depiction provides the best explanation for how pictures express pictorial spaces, while rival perceptual and resemblance theories fall short. Since the composition of pictorial space is itself the basis for all other aspects of pictorial content, the proposal provides a natural foundation for further pictorial semantics. (shrink)

This chapter develops a semantic theory for maps and situates it within the broader geography of meaning and semiotic significance. The discussion focuses on three central aspects of map semantics: the use of space, line marking, and linguistic tags. It is argued that the treatment of space in maps must be based on geometrical projection from a viewpoint rather than the traditional analysis in terms of spatial isomorphism. The chapter then shows how to integrate the projection-based semantics of maps and (...) the symbolic semantics of markers and tags, within the framework of possible-world semantics. The resulting account addresses issues of accuracy, viewpoint, orientation, and exhaustivity. (shrink)

What is it for a picture to depict a scene? The most orthodox philosophical theory of pictorial representation holds that depiction is grounded in resemblance. A picture represents a scene in virtue of being similar to that scene in certain ways. This essay presents evidence against this claim: curvilinear perspective is one common style of depiction in which successful pictorial representation depends as much on a picture's systematic differences with the scene depicted as on the similarities; it cannot be analyzed (...) in terms of similarity alone. The same problem arises for many other kinds of depiction. The essay concludes that depiction in general is not grounded in resemblance but geometrical transformation. (shrink)

This paper explores the socio-epistemic practice of shopping for experts. I argue that expert shopping is particularly likely to occur on what Thi Nguyen calls cognitive islands. To support my argument, I focus on macroeconomics. First, I make a prima-facie case for thinking that macroeconomics is a cognitive island. Then, I argue that ordinary people are particularly likely to engage in expert shopping when it comes to macroeconomic matters. In particular, I distinguish between two kinds of expert shopping, which I (...) call cynical and wishful, and introduce the notion of assisted expert shopping, which occurs when people or organizations shop for experts on behalf of other people. I argue that assisted expert shopping can sometime result in what I call a propagandistic use of expertise. Finally, I critically examine some possible reasons for optimism and find them wanting. I conclude by suggesting that that much of what I said about shopping for macroeconomic experts might also apply mutatis mutandis to other policy-relevant domains of expertise. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)